robin williams middle name